Pensieve header: Testing R and η.

SetDirectory["C:\\drorbn\\AcademicPensieve\\2012-04"];
<< betaCalculus.m

R[1,2] // dη[1]

R[1,2] // dη[2]

R[1,2]

r[x_,y_] := B[1,t[x]h[y]]

r[1,2]

{r[1,2]**r[1,3]**r[2,3], r[2,3]**r[1,3]**r[1,2]}

r[1,2] // dS[1]

(r[1,2] // dS[1])**r[1,2]

(R[1,2] // dS[1])**R[1,2]